Action Contraction Using Coupled Simulation
نویسنده
چکیده
The question we consider in this paper is: “When may a combination of (fine-grain) executionbe contracted into an abstract (atomic) action execution”? Our answer is basically: “When noobserver can see the difference.” This is worked out in detail by defining a notion of so-calledcoupled splitting/contracting simulation between systems which differ in the atomicity of theiractions, and proving that this collapses to Parrow and Sjödin’s coupled similarity when thesystems are composed with an observer. We claim that this gives rise to a useful notion ofrefinement; we substantiate the claim on two (toy) examples.
منابع مشابه
Indicator of $S$-Hausdorff metric spaces and coupled strong fixed point theorems for pairwise contraction maps
In the study of fixed points of an operator it is useful to consider a more general concept, namely coupled fixed point. Edit In this paper, by using notion partial metric, we introduce a metric space $S$-Hausdorff on the set of all close and bounded subset of $X$. Then the fixed point results of multivalued continuous and surjective mappings are presented. Furthermore, we give a positive resul...
متن کاملA Coupled Random Fixed Point Result With Application in Polish Spaces
In this paper, we present a new concept of random contraction and prove a coupled random fixed point theorem under this condition which generalizes stochastic Banach contraction principle. Finally, we apply our contraction to obtain a solution of random nonlinear integral equations and we present a numerical example.
متن کاملCoupled fixed points of generalized Kanann contraction and its applications
The purpose of this paper is to find of the theoretical results of fixed point theorems for a mixed monotone mapping in a metric space endowed with partially order by using the generalized Kanann type contractivity of assumption. Also, as an application, we prove the existence and uniqueness of solution for a first-order ordinary differential equation with periodic bou...
متن کاملCOUPLED FIXED POINT THEOREMS FOR RATIONAL TYPE CONTRACTIONS VIA C-CLASS FUNCTIONS
In this paper, by using C-class functions, we will present a coupled xed problem in b-metric space for the single-valued operators satisfying a generalized contraction condition. First part of the paper is related to some xed point theorems, the second part presents the uniqueness and existence for the solution of the coupled xed point problem and in the third part we...
متن کاملIntegral type contraction and coupled fixed point theorems in ordered G-metric spaces
In this paper, we apply the idea of integral type contraction and prove some coupled fixed point theorems for such contractions in ordered $G$-metric space. Also, we support the main results by an illustrative example.
متن کامل